третьего дня, позавчера — the day before yesterday
«третья палата», кулуары конгресса — the third House
закон исключенного третьего — law of excluded middle
третьего числа следующего месяца — on the 3d proximo
накрытый третьим залпом — straddled at the third salvo
Русско-английский словарь по информационным технологиям. 2015.
исключенного третьего закон — ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН один из трех главных законов логики, сформулированных Аристотелем. Его оригинальная формулировка гласит: «Оба утверждения А и не А не могут быть одновременно ложны». В «Метафизике» Аристотеля… … Энциклопедия эпистемологии и философии науки
ИСКЛЮЧЕННОГО ТРЕТЬЕГО ЗАКОН — один из важнейших законов формальной логики, состоящий в том, что для всякого высказывания А истинно по крайней мере одно из двух: само А или его отрицание. Был известен уже Аристотелю. См. Принцип исключенного третьего. Философская Энциклопедия … Философская энциклопедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
КОЛМОГОРОВ — Андрей Николаевич [р. 12 (25) апр. 1903] – сов. математик, акад. (с 1939), проф. Моск. ун та (с 1931). Лауреат Гос. премии СССР (1941). Член ряда иностр. науч. учреждений. Исследования К. оказали значит. влияние на развитие множеств теории,… … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ — в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… … Математическая энциклопедия
ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) … Философская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
